Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
721	FOUR POSITIVE FORMULAE FOR TYPE A QUIVER POLYNOMIALS ALLEN KNUTSON, EZRA MILLER, AND MARK SHIMOZONO Abstract. We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton [BF99]. All Add to Reading List Source URL: www.math.duke.edu Language: English - Date: 2006-03-25 02:32:55 Symmetric functions Algebraic geometry Algebraic combinatorics Representation theory Young tableau Schubert variety Schubert polynomial Schur polynomial Homogeneous polynomial Abstract algebra Algebra Mathematics
722	Synthesis Modulo Recursive Functions Etienne Kneuss1 Viktor Kuncak1 Ivan Kuraj1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 08:18:41 Data types Lisp programming language Functional programming Recursion Computability theory ALGOL 68 Function Fold Algebraic data type Software engineering Computer programming Computing
723	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
724	IN DULCI JUBILO, INC. Latin: “In Sweet Joy” P.O. BoxBerkeley, CaliforniaPhone: Add to Reading List Source URL: www.indulcijubilo.org Language: English Project management In dulci jubilo Ada United States Postal Service Type system Computing Software engineering Programming language theory
725	Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights∗ I.M. Verloopa , U. Ayestab,c , R. Núñez-Queijaa,d CWI, Amsterdam, The Netherlands BCAM - Basque Center for App Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-01-01 05:01:25 Probability and statistics Markov models Operations research Network performance Queueing model Phase-type distribution Scheduling M/M/1 queue G–network Statistics Stochastic processes Queueing theory
726	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
727	The Personality of the Trader: How It Affects Performance Brett N. Steenbarger, Ph.D. _www.brettsteenbarger.com_ Add to Reading List Source URL: www.brettsteenbarger.com Language: English - Date: 2007-03-25 17:22:36 Trait theory Conscientiousness Personality type Anxiety Personality traits Mind Human behavior
728	Modular structure of Type II low energy expansion Lecture III: Applications Eric D’Hoker Simons Center for Geometry and Physics – Supermoduli – Add to Reading List Source URL: media.scgp.stonybrook.edu Language: English - Date: 2015-05-20 18:39:37 Type II string theory Supergravity String Physics String theory Superstring theory
729	How independent are the variants of a linguis4c variable? and how much does it ma9er? Daniel Ezra Johnson (Lancaster University) Add to Reading List Source URL: www.danielezrajohnson.com Language: English - Date: 2015-03-25 11:45:33 Econometrics Data types Type theory Social psychology Sociolinguistics Regression analysis Variable Arthur Schopenhauer Environment variable Computing Statistics Mathematics

UPDATE